Applying Formal Methods in
نویسندگان
چکیده
The use of formal methods in real project is still a challenge. The paper reports the results of a Trial Project, partially funded by the European Communities, with the goal to measure diiculties and beneets associated with the use of integrated graphical and textual formal specii-cation languages. The reference application used for the trial project was the development of a platform door control function of a more complex system in the eld of railway applications.
منابع مشابه
Case Studies in Using a Meta-Method for Formal Method Integration
We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integrated formal methods, and discuss properties and difficulties associated with applying the meta-method to combining and using several formal and semiformal methods.
متن کاملASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software
Formal methods are being applied to the development of software of various applications at Philips Healthcare. In particular, the Analytical Software Design (ASD) method is being used as a formal technology for developing defect-free control software of highly sophisticated X-ray machines. In this paper we analyze the effects of applying ASD in the development of various control software units....
متن کاملApplying Formal Methods to a Telecommunications System in a Commercial Setting
Formal methods have been used mostly in safety-critical projects although some have industrial-strength implementations that can be used eeectively in commercial settings. This paper describes a case study conducted in collaboration with Nortel to demonstrate the feasibility of applying formal methods to telecommunications systems. A lightweight formal method, SDL, was chosen by our qualitative...
متن کاملآموزش فراگیر تربیتبدنی
The low of training for all disabled children assures the right of using free education for children with disabilities. A part of this low included the communication of disabled children with normal children in formal training classes, as well as formal physical education. A problem that all teachers of physical education encountered is the applying inclusive training in schools, ineffect...
متن کاملApplying a Formal Method in Industry: A 15-Year Trajectory
This article presents industrial experience of applying the B formal method in the industry, on diverse application fields (railways, automotive, smartcard, etc.). If the added value of such an approach has been demonstrated over the year, using a formal method is not the panacea and requires some precautions when introduced in an industrial development cycle.
متن کاملIntegrating formal methods into traditional practices for software development: an overview
This paper shows an overview of a research project for integrating formal methods in popular practices for software development in México. The article shows only the main results from the survey about methods and practices and an overview of the initial proposal of practices applying lightweight formal methods to requirements specification and software modelling. Keywords— requirements specific...
متن کامل